docs: Fix gdk_display_get_core_pointer() docs
authorJavier Jardón <jjardon@gnome.org>
Mon, 13 Sep 2010 00:46:46 +0000 (02:46 +0200)
committerJavier Jardón <jjardon@gnome.org>
Mon, 13 Sep 2010 00:48:21 +0000 (02:48 +0200)
commite3fafd75129f393b84e8c63f02742cf576abbe40
tree7c8b12853d1ef8acc516c744015fefabf2d637ce
parent66e860b5d19ead7d30b13eacfbe65b22b24c9d37
docs: Fix gdk_display_get_core_pointer() docs

Point to gdk_device_manager_get_client_pointer(),
not gdk_display_get_client_pointer().
gdk/gdkdisplay.c